Knihy od autora Helmut Schwichtenberg

Zobrazeno 1 – 12 z 12 výsledků

1. 

   Logic and Algebra of Specification

   Friedrich L. Bauer, Wilfried Bauer, Helmut Schwichtenberg | Springer, Berlin, 1993

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3532 Kč

   Koupit
2. 

   Computational Logic

   Ulrich Berger, Helmut Schwichtenberg | Springer, Berlin, 1999

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3532 Kč

   Koupit
3. 

   Logic of Computation

   Helmut Schwichtenberg | Springer, 1997

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2255 Kč

   Koupit
4. 

   Proof and System-Reliability

   Helmut Schwichtenberg, Ralf Steinbrüggen | Springer Netherlands, 2002

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2675 Kč

   Koupit
5. 

   Logic of Computation

   Helmut Schwichtenberg | Springer, Berlin, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
6. 

   Computational Logic

   Ulrich Berger, Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3532 Kč

   Koupit
7. 

   Logic and Algebra of Specification

   Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3532 Kč

   Koupit
8. 

   Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

   Helmut Schwichtenberg, Peter Michael Schuster | World Scientific Publishing Co Pte Ltd, 2021

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3588 Kč

   Koupit
9. 

   Computer Science Logic

   Peter G. Clote, Helmut Schwichtenberg | Springer, Berlin, 2000

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
10. 

    Handbook of Constructive Mathematics

    Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg | Cambridge University Press, 2023

    
    

    Skladem u dodavatele - Odesíláme za 9-15 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    4726 Kč

    Koupit
11. 

    Proof and System-Reliability

    Helmut Schwichtenberg, Ralf Steinbrüggen | Springer-Verlag New York Inc., 2002

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit
12. 

    Proof and Computation

    Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2357 Kč

    Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více